Data-Driven Verification under Signal Temporal Logic Constraints
نویسندگان
چکیده
منابع مشابه
Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances
We present Shrinking Horizon Model Predictive Control (SHMPC) for discrete-time linear systems with Signal Temporal Logic (STL) specification constraints under stochastic disturbances. The control objective is to maximize an optimization function under the restriction that a given STL specification is satisfied with high probability against stochastic uncertainties. We formulate a general solut...
متن کاملDistributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints ?
We consider the problem of finding optimal agent trajectories for persistent surveillance missions subject to temporal logic (TL) constraints. Specifically, we aim to minimize the time between two consecutive visits to regions of interest in a partitioned environment while satisfying each agent’s TL specification. We formulate a distributed optimization problem, where each agent plans its traje...
متن کاملDistributed Informative Path Planning under Temporal Logic Constraints
In this work, we present an algorithm for synthesizing distributed control policies for networks of mobile robots such that they gather the maximum amount of information about some a priori unknown feature of the environment, e.g. hydration levels of crops or a lost person adrift at sea. Natural motion and communication constraints such as “Avoid obstacles and periodically communicate with all ...
متن کاملLogic Programming, Constraints and Verification
The connection between (constraint) logic programming and computer aided verification is one of the more interesting research direction for our community. In this paper we will illustrate the main ideas behind this connection for the case of (concurrent) systems with an infinite state space.
متن کاملSafe Control under Uncertainty with Probabilistic Signal Temporal Logic
Safe control of dynamical systems that satisfy temporal invariants expressing various safety properties is a challenging problem that has drawn the attention of many researchers. However, making the assumption that such temporal properties are deterministic is far from the reality. For example, a robotic system might employ a camera sensor and a machine learned system to identify obstacles. Con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2020.12.051